Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
341	Feature Selection Using Regularization in Approximate Linear Programs for Markov Decision Processes Marek Petrik* [removed] Gavin Taylor† Add to Reading List Source URL: www.icml2010.org Language: English - Date: 2010-06-13 09:06:51 Linear temporal logic Functional analysis Distribution Representation theory
342	Checking Finite Traces using Alternating Automata ∗ Bernd Finkbeiner and Henny Sipma Computer Science Department, Stanford University Stanford, CA[removed]Abstract. Alternating automata have been commonly used as a basi Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Logic Model theory Theoretical computer science Linear temporal logic Temporal logic Ω-automaton Model checking Interpretation Structure Automata theory Formal languages Mathematics
343	PSP-based scalable compact FinFET model G.D.J. Smit, A.J. Scholten, G. Curatola, R. van Langevelde1, G. Gildenblat2, and D.B.M. Klaassen NXP Semiconductors, Research, Eindhoven, The Netherlands 1Philips Add to Reading List Source URL: www.nsti.org Language: English - Date: 2007-07-11 13:39:16 Multigate device Psi Linear temporal logic
344	Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities Mark Bun ∗ Add to Reading List Source URL: privacytools.seas.harvard.edu Language: English - Date: 2013-07-29 14:33:15 Polynomial Mathematical analysis Linear temporal logic Μ operator Mathematics Functions and mappings Function
345	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-10-31 12:15:41 Mathematics C-algebras Projection linear algebra Von Neumann algebra Approximately finite dimensional C-algebra Linear temporal logic Mathematical analysis Operator theory Functional analysis
346	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-10-19 16:24:14 Function Burnside ring Linear temporal logic Approximately finite dimensional C*-algebra Abstract algebra Mathematics Algebra
347	PDF Document Add to Reading List Source URL: www.stat.ncsu.edu Language: English - Date: 2013-07-24 14:11:22 Mathematical logic Symbol Linear temporal logic
348	PHYSICAL REVIEW E 84, [removed]Strong collapse turbulence in a quintic nonlinear Schr¨odinger equation Yeojin Chung1 and Pavel M. Lushnikov2 1 Add to Reading List Source URL: math.unm.edu Language: English - Date: 2011-09-14 14:08:01 Superconductivity Wave Linear temporal logic Partial differential equations Quantum mechanics Ginzburg–Landau theory
349	A theorem on homogeneous differential polynomials Matthew Buck 1 Abstract Add to Reading List Source URL: mattbuck.irongalaxy.com Language: English - Date: 2013-02-28 20:02:34 Functional analysis Distribution Nevanlinna theory Lemmas Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Mathematics Smooth functions
350	1 Abstract. Recent advances in parallel model checking for liveness properties achieve significant capacity increases over sequential model checkers. However, the capacity of parallel model checkers is in turn limited b Add to Reading List Source URL: people.cs.clemson.edu Language: English - Date: 2013-08-14 13:37:54 Formal methods Applied mathematics Model checking Animal communication Neuroethology Waggle dance Random walk SPIN model checker Linear temporal logic Automata theory Mathematics Models of computation

UPDATE